SolveSpaceのソルバーとOpen CASCADEカーネルを利用した3DCAD